n (logic) A truth-valued function such as (the usual suspects): conjunction, disjunction, negation, and material implication.